Nuprl Definition : pe-e 11,40
pe-e(p) == (p.2).1 
latex

Definitionst.1, t.2
FDL editor aliasespe-e

origin